Books by author Herman Geuvers

Showing 1 – 4 out of 4 results

1. 

   Type Theory and Formal Proof

   Rob Nederpelt, Herman Geuvers | Cambridge University Press, 2014

   
   

   In stock at our supplier - Shipping in 10 - 16 days

   Language: English

   Binding: Hardback

   94.47 €

   Buy
2. 

   Intelligent Computer Mathematics

   Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
3. 

   Interactive Theorem Proving

   Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.67 €

   Buy
4. 

   Types for Proofs and Programs

   Herman Geuvers, Freek Wiedijk | Springer, Berlin, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy

Získali sme ocenenie Shop roka 2014 - finalista. Zistite viac